\begin{table}[!t]
\vspace*{-1ex}
\centering
\fontsize{9}{11}\selectfont
\begin{tabular*}{\linewidth}{@{\extracolsep{\fill}}lllllllc}\\\hlx{hv}
\multicolumn{1}{c}{\multirow{2}{*}{Benchmark}} & \multicolumn{1}{c}{Size} & \multicolumn{1}{c}{Time} & \multicolumn{1}{c}{DT Size} & \multicolumn{1}{c}{Size} & \multicolumn{1}{c}{Time} & \multicolumn{1}{c}{DT Size} & Min\\
& \multicolumn{1}{c}{of first} & \multicolumn{1}{c}{to first} & \multicolumn{1}{c}{for first} & \multicolumn{1}{c}{of min} & \multicolumn{1}{c}{to min} & \multicolumn{1}{c}{for min} & first?\\\hlx{hv}
icfp\_45\_1000 & 9 & 15.6 & 3 & 9 & 15.6 & 3 & $\checkmark$\\
icfp\_45\_10 & 9 & 0.3 & 3 & 9 & 0.3 & 3 & $\checkmark$\\
icfp\_5\_1000 & 19 & 37.4 & 5 & 18 & 2534.9 & 5 & $\times$\\
icfp\_51\_10 & 11 & 1.9 & 3 & 11 & 1.9 & 3 & $\checkmark$\\
icfp\_54\_1000 & 11 & 38.1 & 3 & 11 & 38.1 & 3 & $\checkmark$\\\hlx{h}
icfp\_56\_1000 & -- & TO & -- & -- & TO & -- & -- \\
icfp\_64\_10 & 21 & 21.4 & 5 & 21 & 21.4 & 5 & $\checkmark$\\
icfp\_68\_1000 & 26 & 40.1 & 7 & 26 & 40.1 & 7 & $\checkmark$\\
icfp\_69\_10 & 11 & 1.1 & 3 & 11 & 1.1 & 3 & $\checkmark$\\
icfp\_7\_1000 & 17 & 95.3 & 5 & 17 & 95.3 & 5 & $\checkmark$\\\hlx{h}
icfp\_7\_10 & 16 & 0.7 & 5 & 16 & 0.7 & 5 & $\checkmark$\\
icfp\_72\_10 & 13 & 18.9 & 3 & 13 & 18.9 & 3 & $\checkmark$\\
icfp\_73\_10 & 18 & 0.52 & 5 & 13 & 39.6 & 3 & $\times$\\
icfp\_81\_1000 & 21 & 526.3 & 5 & 17 & 3008.6 & 3 & $\times$\\
icfp\_82\_100 & 13 & 9.7 & 3 & 13 & 9.7 & 3 & $\checkmark$\\\hlx{h}
icfp\_82\_10 & 13 & 3.9 & 3 & 13 & 3.9 & 3 & $\checkmark$\\
icfp\_87\_10 & 19 & 5.2 & 5 & 19 & 5.2 & 5 & $\checkmark$\\
icfp\_9\_1000 & -- & TO & -- & -- & TO & -- & -- \\
icfp\_93\_1000 & 22 & 182.1 & 5 & 21 & 318.9 & 5 & $\times$\\
icfp\_94\_1000 & 17 & 46.8 & 5 & 17 & 46.8 & 5 & $\checkmark$\\\hlx{h}
icfp\_94\_100 & 17 & 2.4 & 5 & 13 & 498.7 & 3 & $\times$\\
icfp\_95\_100 & 220 & 270.8 & 55 & 24 & 330.2 & 7 & $\times$\\
icfp\_96\_1000 & 49 & 2162.3 & 11 & 47 & 2984.1 & 11 & $\times$\\
icfp\_96\_10 & 57 & 12.4 & 13 & 29 & 12.6 & 7 & $\times$\\
icfp\_99\_100 & 18 & 321.9 & 5 & 18 & 321.9 & 5 & $\checkmark$\\\hlx{h}
\end{tabular*}
\vspace*{1mm}
\caption{Results on the ICFP benchmark suite (continued from Table~\ref{table:anytime_results_1}) . All times are in seconds.}
\label{table:anytime_results_2}
\end{table}
